| 翻訳と辞書 |
| Maurice Herlihy ： ウィキペディア英語版 |
Maurice Herlihy
Maurice Peter Herlihy (born 4 January 1954) is a computer scientist active in the field of multiprocessor synchronization.〔(【引用サイトリンク】title=Linearizability: a correctness condition for concurrent objects )〕〔(【引用サイトリンク】title=Transactional memory: architectural support for lock-free data structures )〕〔(【引用サイトリンク】title=Wait-free synchronization )〕 Herlihy has contributed to the design of concurrent algorithms, and in particular to the exposition and quantification of the properties and uses of hardware synchronization operations. He is a professor of computer science at Brown University since 1998.〔(【引用サイトリンク】title=Maurice Herlihy - Brown Research Directory )〕
==Recognition==
* 2003 Dijkstra Prize〔(【引用サイトリンク】title=Edsger W. Dijkstra Prize in Distributed Computing )〕
* 2004 Gödel prize〔(【引用サイトリンク】title=Gödel Prize )〕
* 2005 Fellow of the Association for Computing Machinery〔(【引用サイトリンク】title=ACM: Fellows Award / Maurice P Herlihy )〕
* 2012 Dijkstra Prize〔
* 2013 W. Wallace McDowell Award〔(【引用サイトリンク】title=W. Wallace McDowell Award )〕
* 2013 National Academy of Engineering〔(【引用サイトリンク】title=National Academy of Engineering )〕
* 2014 National Academy of Inventors Fellow〔(【引用サイトリンク】title=National Academy of Inventors Fellow )〕
* 2015 American Academy of Arts and Sciences Member〔(【引用サイトリンク】title=American Academy of Arts and Sciences Member )〕
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「Maurice Herlihy」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|